<div class="head_banner"><?


 $ran = rand(0,2);
 
 switch($ran){
	 case 0:
	 	echo "<a href='http://www.italy.ie'><img src='/banners/header/italy.png' alt='Italy.ie' /></a>";
	 break;
	 case 1:
	 	echo "<a href='http://www.visitsanta.ie'><img src='/banners/header/visitsanta.png' alt='VisitSanta.ie' /></a>";
	 break;
	 case 2:
	 	echo "<a href='http://www.disneydeals.ie'><img src='/banners/header/disney.png' alt='DisneyDeals.ie' /></a>";
	 break;
 }



?></div>